<?php
function dummy() {
    echo "OK: ", __FUNCTION__, PHP_EOL;
}
